Extract a number within a string